Skip to content

Register pmlens.is-a.dev#42165

Closed
Arlong6 wants to merge 1 commit into
is-a-dev:mainfrom
Arlong6:add-pmlens
Closed

Register pmlens.is-a.dev#42165
Arlong6 wants to merge 1 commit into
is-a-dev:mainfrom
Arlong6:add-pmlens

Conversation

@Arlong6

@Arlong6 Arlong6 commented Jun 29, 2026

Copy link
Copy Markdown

Domain

pmlens.is-a.dev

Purpose

Personal side project — a dashboard that surfaces Polymarket markets where
Deribit-implied probabilities disagree (≥5pp gap) and tracks whale flows >$50k.
Currently live at https://pmlens.vercel.app; would like a cleaner URL to share
on Reddit / X.

Records

CNAME → cname.vercel-dns.com (Vercel-hosted static site).

Checklist

  • Read the documentation
  • Filled out the JSON file correctly
  • Domain doesn't violate Terms of Service

@Arlong6 Arlong6 requested a review from a team as a code owner June 29, 2026 12:56
@is-a-dev-reviewbot

Copy link
Copy Markdown

Hi there! 👋

You've successfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:

  1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or a icon next to the commit ID. You can click on the 3 dots next to the "CI / Tests" check then click "View details", it will show you the logs of the tests.
  2. Check if the filename, file format, and records are valid. If you don't know if it's valid, please read this part of the documentation and use a JSON validator/formatter, like jsonlint. Make sure that the file is in the domains directory and not somewhere else in the repository.
  3. Please make sure that you've filled out the pull request template. It is generally not a good idea to overwrite the pull request template with something else unless you know what you are doing. Make sure to add either a publicly available preview of your website or a screenshot of it.
  4. Please wait patiently. Pull requests may take between a couple hours to 3 days. All of the maintainer team are volunteers and try to review the pull requests in their spare time. If you want a chance of getting your pull request merged faster then send your pull request number once in the #pull-requests channel in our Discord server and wait patiently.
  5. Please note that mentioning maintainers in pull requests without it being reviewed could lead to you getting marked as "low priority"; this also applies to pinging the maintainers in the Discord server or messaging the maintainers in private to review the pull request.

Note: if you've opened this pull request while there is a high number of other open pull requests, your wait time will be longer than usual. Please be patient!

@iostpa iostpa added status: denied reason: not dev related The website is not related to software development. reason: incomplete pr Your PR template is not complete. (e.g. missing the requirements form, missing website preview) labels Jun 30, 2026
@is-a-dev-reviewbot

Copy link
Copy Markdown

Invalid Pull Request

This pull request is invalid due to the following reason(s):


Not Related to Software Development

All root subdomains must be related to software development. This page does not appear to comply with this. Note that you may use a nested subdomain for practically anything, including something unrelated to software development (as long as it complies with our Terms of Service).

A nested subdomain is a subdomain of a subdomain; e.g. foo.bar.is-a.dev instead of a root subdomain (bar.is-a.dev).

You may not register a nested subdomain without owning and registering the root subdomain it is nested under.

Incomplete PR

Your pull request is incomplete. This means that you have not filled out the PR template, which includes completing the requirements form, agreeing to our Terms of Service, and providing a preview of your website if applicable, all of which are mandatory. You can find the PR template here.


If you need any help, please create an issue or ask our team in the Discord server

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

reason: incomplete pr Your PR template is not complete. (e.g. missing the requirements form, missing website preview) reason: not dev related The website is not related to software development. status: denied

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants